Dictionary
predicate calculus
noun
Definition of PREDICATE CALCULUS
: the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives —called also functional calculus — compare propositional calculus
ADVERTISEMENT
First Known Use of PREDICATE CALCULUS
1950
Learn More About PREDICATE CALCULUS
Browse
Next Word in the Dictionary: predicate nominativePrevious Word in the Dictionary: predicate All Words Near: predicate calculus
ADVERTISEMENT
Seen & Heard
What made you want to look up predicate calculus? Please tell us where you read or heard it (including the quote, if possible).